Topologie du carré sémiotique

Universe Types - Topologie, Kapselung, Generizität und Tools

Mehrere veränderbare Referenzen auf ein Objekt geben objektorientierten Programmiersprachen Ausdruckstärke, verkomplizieren allerdings das Programmverständniss und verunmöglichen verschiedenste formale Beweise von Programmen. Als Lösungsmöglichkeit für diese Probleme bieten sich Ownership-Typsysteme an, die den Speicher hierarchisch strukturieren und die möglichen Referenzen und deren Effekte b...

Simulation dynamique de corps biologiques et changements de topologie interactifs

Étude constructive de problèmes de topologie pour les réels irrationnels

We study in a constructive manner some problems of topology related to the set Irr of irrational reals. The constructive approach requires a strong notion of an irrational number ; constructively, a real number is irrational if it is clearly different from any rational number. We show that the set Irr is one-to-one with the set Dfc of infinite developments in continued fraction (dfc). We define...

Verallgemeinerungen der Fuzzy-Topologie zur Analyse von digitalen Grauwertbildern

Rekonstruktion der Topologie einer Wohnung mit Hilfe eines Installationsbus-Systems

Hintergrund Installationsbusse dienen zur erweiterbaren Steuerung der Elektroinstallation in Gebäuden und ermöglichen die Kommunikation zwischen Sensoren und Aktoren. Die beim Nachrichtenaustausch anfallenden Daten können gespeichert und weiterverarbeitet werden. Im medizinischen Kontext können, zur Unterstützung der Frühdiagnostik, Prävention oder Rehabilitation, aus solchen Nachrichten und Da...